<?php
/**
 * Created by PhpStorm.
 * User: ming
 * Date: 18-1-15
 * Time: 下午4:30
 */
var_dump(123456789101011);